Automatically generated code for relativistic inhomogeneous cosmologies
نویسندگان
چکیده
منابع مشابه
Inhomogeneous String Cosmologies
We present exact inhomogeneous and anisotropic cosmological solutions of low-energy string theory containing dilaton and axion fields. The spacetime metric possesses cylindrical symmetry. The solutions describe ever-expanding universes with an initial curvature singularity and contain known homogeneous solutions as subcases. The asymptotic form of the solution near the initial singularity has a...
متن کاملScalar Field Inhomogeneous Cosmologies
Some exact solutions for the Einstein eld equations corresponding to inhomogeneous G2 cosmologies with an exponential-potential scalar eld which generalize solutions obtained previously are considered. Several particular cases are studied and the properties related to generalized in ation and asymptotic behaviour of the models are discussed.
متن کاملA High-Level Certification Language for Automatically Generated Code
Program verification using Hoare-style techniques requires many logical annotations. We have previously shown that a generic annotation inference algorithm can be used to weave in all annotations required to certify safety properties for automatically generated code. The algorithm is implemented as part of our AUTOCERT system. It uses patterns to capture generatorand property-specific code idio...
متن کاملInhomogeneous M-Theory Cosmologies
Abstract We study a class of inhomogeneous and anisotropic G2 string cosmological models. In the case of separable G2 models we show that the governing equations reduce to a system of ordinary differential equations. We focus on a class of separable G2 M-theory cosmological models, and study their qualitative behaviour (a class of models with time-reversed dynamics is also possible). We find th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review D
سال: 2017
ISSN: 2470-0010,2470-0029
DOI: 10.1103/physrevd.95.044046